\begin{tabbing}
ecl{-}mng{-}sends\=\{i:l\}\+
\\[0ex](${\it es}$; $i$; ${\it ds}$; ${\it da}$; $x$; $l$; ${\it snd}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=es{-}decls(${\it es}$;$i$;${\it ds}$;${\it da}$)\+
\\[0ex]$\Rightarrow$ \=es{-}sends{-}iff(${\it es}$;$l$;ecl{-}tags($l$; ${\it snd}$);${\it da}$;${\it ds}$;$e$.tagged{-}list{-}messages\+
\\[0ex](\=es{-}state{-}when(${\it es}$; $e$);\+
\\[0ex]es{-}val(${\it es}$; $e$);
\\[0ex]mapfilter(\=($\lambda$${\it tr}$.$<$${\it tr}$.1, ${\it tr}$.2.2$>$);\+
\\[0ex]($\lambda$${\it tr}$.es{-}bact\{i:l\}(${\it ds}$; ${\it da}$; $x$; ${\it es}$; ((${\it tr}$.2).1); es{-}init(${\it es}$;$e$); $e$));
\\[0ex]fpf{-}cap(\=${\it snd}$;\+
\\[0ex]product{-}deq(Knd; IdLnk; Kind{-}deq; idlnk{-}deq);
\\[0ex]$<$es{-}kind(${\it es}$; $e$), $l$$>$;
\\[0ex][]))))
\-\-\-\-\-
\end{tabbing}